Blass, Andrea: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A game semantics for linear logic

Journal:

Annals of Pure and Applied Logic

Year:

1992

Language:

english

File:

PDF, 2.91 MB

english, 1992

2

Conservative extensions of models of arithmetic

Journal:

Archive for Mathematical Logic

Year:

1980

Language:

english

File:

PDF, 566 KB

english, 1980

3

Characteristic and Ehrhart Polynomials

Andreas Blass, Bruce E. Sagan

Journal:

Journal of Algebraic Combinatorics

Year:

1998

Language:

english

File:

PDF, 143 KB

english, 1998

4

An induction principle and pigeonhole principles for K-finite sets

Journal:

Journal of Symbolic Logic

Year:

1995

Language:

english

File:

PDF, 650 KB

english, 1995

5

Consequences of the axiom of choice

Journal:

Bulletin of Symbolic Logic

Year:

2005

Language:

english

File:

PDF, 72 KB

english, 2005

6

Optimal no-go theorem on hidden-variable predictions of effect expectations

Blass, Andreas, Gurevich, Yuri

Journal:

Physical Review A

Year:

2018

Language:

english

File:

PDF, 201 KB

english, 2018

7

Properties of almost all graphs and complexes

Andreas Blass, Frank Harary

Journal:

Journal of Graph Theory

Year:

1979

Language:

english

File:

PDF, 809 KB

english, 1979

8

Injectivity, projectivity, and the axiom of choice

Journal:

Transactions of the American Mathematical Society

Year:

1979

Language:

english

File:

PDF, 2.77 MB

english, 1979

9

A Course in Universal Algebra . By Stanley Burris and H. P. Sankappanavar

Journal:

American Mathematical Monthly

Year:

1984

Language:

english

File:

PDF, 505 KB

english, 1984

10

Bijective proofs of two broken circuit theorems

Andreas Blass, Bruce Eli Sagan

Journal:

Journal of Graph Theory

Year:

1986

Language:

english

File:

PDF, 362 KB

english, 1986

11

Sperner spaces and first-order logic

Andreas Blass, Victor Pambuccian

Journal:

Mathematical Logic Quarterly

Year:

2003

Language:

english

File:

PDF, 79 KB

english, 2003

12

Equivalence Relations, Invariants, and Normal Forms

Blass, Andreas, Gurevich, Yuri

Journal:

SIAM Journal on Computing

Year:

1984

Language:

english

File:

PDF, 1.14 MB

english, 1984

13

Ultrafilters and Partial Products of Infinite Cyclic Groups

Blass, Andreas, Shelah, Saharon

Journal:

Communications in Algebra

Year:

2005

Language:

english

File:

PDF, 141 KB

english, 2005

14

Cohomology Detects Failures of the Axiom of Choice

Journal:

Transactions of the American Mathematical Society

Year:

1983

Language:

english

File:

PDF, 1.69 MB

english, 1983

15

Makkai Michael and Paré Robert. Accessible categories: the foundations of categorical model theory. Contemporary mathematics, vol. 104. American Mathematical Society, Providence 1989, viii + 176 pp.

Journal:

Journal of Symbolic Logic

Year:

1993

Language:

english

File:

PDF, 418 KB

english, 1993

16

Graphs with unique maximal clumpings

Journal:

Journal of Graph Theory

Year:

1978

Language:

english

File:

PDF, 322 KB

english, 1978

17

Paley graphs satisfy all first-order adjacency axioms

Andreas Blass, Geoffrey Exoo, Frank Harary

Journal:

Journal of Graph Theory

Year:

1981

Language:

english

File:

PDF, 194 KB

english, 1981

18

Möbius Functions of Lattices

Andreas Blass, Bruce E. Sagan

Journal:

Advances in Mathematics

Year:

1997

Language:

english

File:

PDF, 412 KB

english, 1997

19

Boolean classifying topoi

Andreas Blass, Andrej S̆c̆edrov

Journal:

Journal of Pure and Applied Algebra

Year:

1983

Language:

english

File:

PDF, 1.92 MB

english, 1983

20

Seven trees in one

Journal:

Journal of Pure and Applied Algebra

Year:

1995

Language:

english

File:

PDF, 1.63 MB

english, 1995

21

Henkin quantifiers and complete problems

Andreas Blass, Yuri Gurevich

Journal:

Annals of Pure and Applied Logic

Year:

1986

Language:

english

File:

PDF, 1.88 MB

english, 1986

22

Complete topoi representing models of set theory

Andreas Blass, Andre Scedrov

Journal:

Annals of Pure and Applied Logic

Year:

1992

Language:

english

File:

PDF, 1.86 MB

english, 1992

23

On a problem of H. N. Gupta

Andreas Blass, Victor Pambuccian

Journal:

Geometriae Dedicata

Year:

1996

Language:

english

File:

PDF, 127 KB

english, 1996

24

Classifying topoi and the axiom of infinity

Journal:

Algebra Universalis

Year:

1989

Language:

english

File:

PDF, 240 KB

english, 1989

25

Special Families of Sets and Baer-Specker Groups

Blass, Andreas, Irwin, John

Journal:

Communications in Algebra

Year:

2005

Language:

english

File:

PDF, 142 KB

english, 2005

26

On the unique satisfiability problem

Andreas Blass, Yuri Gurevich

Journal:

Information and Control

Year:

1982

Language:

english

File:

PDF, 452 KB

english, 1982

27

A zero-one law for logic with a fixed-point operator

Andreas Blass, Yuri Gurevich, Dexter Kozen

Journal:

Information and Control

Year:

1985

Language:

english

File:

PDF, 1.10 MB

english, 1985

28

Quasi-selective ultrafilters and asymptotic numerosities

Andreas Blass, Mauro Di Nasso, Marco Forti

Journal:

Advances in Mathematics

Year:

2012

Language:

english

File:

PDF, 289 KB

english, 2012

29

[Contemporary Mathematics] Ultrafilters across Mathematics Volume 530 || Ultrafilters, IP sets, dynamics, and combinatorial number theory

Bergelson, Vitaly, Blass, Andreas, Di Nasso, Mauro, Jin, Renling

Year:

2010

Language:

english

File:

PDF, 453 KB

english, 2010

30

On strongly summable ultrafilters and union ultrafilters

Blass, Andreas, Hindman, Neil

Journal:

Transactions of the American Mathematical Society

Year:

1987

Language:

english

File:

PDF, 1.74 MB

english, 1987

31

Abstract Hilbertian deductive systems, infon logic, and Datalog

Blass, Andreas, Gurevich, Yuri

Journal:

Information and Computation

Year:

2013

Language:

english

File:

PDF, 303 KB

english, 2013

32

Near Coherence of Filters. II: Applications to Operator Ideals, the Stone-Čech Remainder of a Half-Line, Order Ideals of Sequences, and Slenderness of Groups

Journal:

Transactions of the American Mathematical Society

Year:

1987

Language:

english

File:

PDF, 617 KB

english, 1987

33

On Certain Types and Models for Arithmetic

Journal:

Journal of Symbolic Logic

Year:

1974

Language:

english

File:

PDF, 1.41 MB

english, 1974

34

The Intersection of Nonstandard Models of Arithmetic

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 478 KB

english, 1972

35

Ad and the Uniqueness of the Supercompact Measures on Pω1(λ)by W. Hugh Woodin; A. S. Kechris; D. A. Martin; Y. N. Moschavokis;Some Consistency Results in ZFC using ADby W. Hugh Woodin;Subsets of ℵ1Constructible from a Realby Alexander S. Kechris; D. A. Martin; J. R. Steel

Review by: Andreas Blass

Journal:

Journal of Symbolic Logic

Year:

1992

Language:

english

File:

PDF, 430 KB

english, 1992

36

Is There a Core Class for Almost Free Groups of Size ℵ 1 ?

Blass, Andreas, Irwin, John

Journal:

Communications in Algebra

Year:

2004

Language:

english

File:

PDF, 191 KB

english, 2004

37

FREE SUBGROUPS OF THE BAER-SPECKER GROUP

Blass, Andreas, Irwin, John

Journal:

Communications in Algebra

Year:

2001

Language:

english

File:

PDF, 239 KB

english, 2001

38

On Strongly Summable Ultrafilters and Union Ultrafilters

Andreas Blass and Neil Hindman

Journal:

Transactions of the American Mathematical Society

Year:

1987

Language:

english

File:

PDF, 399 KB

english, 1987

39

DIVISIBILITY OF DEDEKIND FINITE SETS

BLAIR, DAVID, BLASS, ANDREAS, HOWARD, PAUL

Journal:

Journal of Mathematical Logic

Year:

2005

Language:

english

File:

PDF, 459 KB

english, 2005

40

There are not exactly five objects

Journal:

Journal of Symbolic Logic

Year:

1984

Language:

english

File:

PDF, 308 KB

english, 1984

41

The Model of Set Theory Generated by Countably Many Generic Reals

Journal:

Journal of Symbolic Logic

Year:

1981

Language:

english

File:

PDF, 1.46 MB

english, 1981

42

Infinitary Combinatorics and Modal Logic

Journal:

Journal of Symbolic Logic

Year:

1990

Language:

english

File:

PDF, 1.19 MB

english, 1990

43

Abstract state machines capture parallel algorithms

Blass, Andreas, Gurevich, Yuri

Journal:

ACM Transactions on Computational Logic

Year:

2008

Language:

english

File:

PDF, 211 KB

english, 2008

44

Ordinary interactive small-step algorithms, III

Blass, Andreas, Gurevich, Yuri

Journal:

ACM Transactions on Computational Logic

Year:

2007

Language:

english

File:

PDF, 336 KB

english, 2007

45

Inadequacy of computable loop invariants

Blass, Andreas, Gurevich, Yuri

Journal:

ACM Transactions on Computational Logic

Year:

2001

Language:

english

File:

PDF, 98 KB

english, 2001

46

Program termination and well partial orderings

Blass, Andreas, Gurevich, Yuri

Journal:

ACM Transactions on Computational Logic

Year:

2008

Language:

english

File:

PDF, 213 KB

english, 2008

47

[Lecture Notes in Computer Science] Fields of Logic and Computation II Volume 9300 ||

Beklemishev, Lev D., Blass, Andreas, Dershowitz, Nachum, Finkbeiner, Bernd, Schulte, Wolfram

Year:

2015

Language:

english

File:

PDF, 5.13 MB

english, 2015

48

A Characterization and Sum Decomposition for Operator Ideals

Andreas Blass and Gary Weiss

Journal:

Transactions of the American Mathematical Society

Year:

1978

Language:

english

File:

PDF, 294 KB

english, 1978

49

Injectivity, Projectivity, and the Axiom of Choice

Journal:

Transactions of the American Mathematical Society

Year:

1979

Language:

english

File:

PDF, 671 KB

english, 1979

50

Natural Endomorphisms of Burnside Rings

Journal:

Transactions of the American Mathematical Society

Year:

1979

Language:

english

File:

PDF, 611 KB

english, 1979

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски